package(
    default_visibility = ["//visibility:public"],
    licenses = ["notice"],
)

cc_test(
    name = "sai_p4_integration_test",
    timeout = "long",
    srcs = ["sai_p4_integration_test.cc"],
    deps = [
        "//gutil/gutil:status_matchers",
        "//gutil/gutil:testing",
        "//p4_pdpi:ir",
        "//p4_pdpi:ir_cc_proto",
        "//p4_pdpi:pd",
        "//p4_pdpi/netaddr:ipv4_address",
        "//p4_pdpi/netaddr:mac_address",
        "//p4_symbolic:z3_util",
        "//p4_symbolic/sai",
        "//p4_symbolic/symbolic",
        "//p4_symbolic/symbolic:solver_state",
        "//p4_symbolic/symbolic:values",
        "//sai_p4/instantiations/google:instantiations",
        "//sai_p4/instantiations/google:sai_nonstandard_platforms_cc",
        "//sai_p4/instantiations/google:sai_pd_cc_proto",
        "//sai_p4/instantiations/google/test_tools:test_entries",
        "//thinkit:bazel_test_environment",
        "@com_github_p4lang_p4runtime//:p4runtime_cc_proto",
        "@com_github_z3prover_z3//:api",
        "@com_google_absl//absl/log",
        "@com_google_absl//absl/status",
        "@com_google_absl//absl/status:statusor",
        "@com_google_absl//absl/strings",
        "@com_google_absl//absl/time",
        "@com_google_absl//absl/types:optional",
        "@com_google_googletest//:gtest_main",
    ],
)

cc_test(
    name = "symbolic_table_entries_test",
    srcs = ["symbolic_table_entries_test.cc"],
    data = [
        "//p4_symbolic/testdata:ipv4-routing/basic.config.json",
        "//p4_symbolic/testdata:ipv4-routing/basic.p4info.pb.txt",
        "//p4_symbolic/testdata:ipv4-routing/entries.pb.txt",
    ],
    deps = [
        "//gutil/gutil:status",
        "//gutil/gutil:status_matchers",
        "//gutil/gutil:test_artifact_writer",
        "//gutil/gutil:testing",
        "//p4_pdpi:ir",
        "//p4_pdpi:ir_cc_proto",
        "//p4_pdpi:p4_runtime_session",
        "//p4_pdpi:pd",
        "//p4_pdpi/packetlib",
        "//p4_pdpi/packetlib:packetlib_cc_proto",
        "//p4_pdpi/string_encodings:hex_string",
        "//p4_symbolic:test_util",
        "//p4_symbolic:z3_util",
        "//p4_symbolic/ir",
        "//p4_symbolic/ir:ir_cc_proto",
        "//p4_symbolic/ir:parser",
        "//p4_symbolic/ir:table_entries",
        "//p4_symbolic/sai",
        "//p4_symbolic/symbolic",
        "//p4_symbolic/symbolic:solver_state",
        "//p4_symbolic/symbolic:values",
        "//sai_p4/instantiations/google:instantiations",
        "//sai_p4/instantiations/google:sai_nonstandard_platforms_cc",
        "//sai_p4/instantiations/google:sai_pd_cc_proto",
        "//tests/forwarding:packet_at_port",
        "@com_github_p4lang_p4runtime//:p4info_cc_proto",
        "@com_github_p4lang_p4runtime//:p4runtime_cc_proto",
        "@com_github_z3prover_z3//:api",
        "@com_google_absl//absl/log",
        "@com_google_absl//absl/status",
        "@com_google_absl//absl/strings",
        "@com_google_absl//absl/strings:str_format",
        "@com_google_absl//absl/time",
        "@com_google_googletest//:gtest_main",
    ],
)
